Fraud Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities Mustafa Al-Bassam1 , Alberto Sonnino1 , and Vitalik Buterin2 1

Source URL: www0.cs.ucl.ac.uk

Anonymous IBE, Leakage Resilience and Circular Security from New Assumptions Zvika Brakerski∗ Alex Lombardi†

Source URL: eprint.iacr.org

• Cryptography
• Public-key cryptography
• Cryptographic protocols
• Identity-based cryptography
• ID-based encryption
• Functional encryption
• Garbled circuit
• Encryption
• Secure multi-party computation
• Attribute-based encryption
• RSA
• Chosen-ciphertext attack

Rene Peralta and John Kelsey, National Institute of Standards and Technology, Computer Security Division. Nigel Smart, Professor of Cryptology,

Source URL: zkp.science

• Cryptography
• Secret sharing
• Public-key cryptography
• Secure multi-party computation
• Commitment scheme
• Cryptographic protocol
• Block cipher
• Zero-knowledge proof

1 SecureML: A System for Scalable Privacy-Preserving Machine Learning Payman Mohassel∗ and Yupeng Zhang† Research, † University of Maryland

Source URL: www.ieee-security.org

HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana Department of Computer Science Columbia Univer

Source URL: www.ieee-security.org

• Cryptography
• Computing
• Internet
• Internet Standards
• Internet protocols
• Cryptographic protocols
• E-commerce
• Public-key cryptography
• Transport Layer Security
• Hostname
• X.509
• Public key certificate

High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA

Source URL: precision.moscito.org

• Cryptography
• Elliptic curve cryptography
• EdDSA
• Elliptic-curve cryptography
• Elliptic Curve Digital Signature Algorithm
• Curve25519
• Elliptic-curve DiffieHellman
• Digital signature
• Digital Signature Algorithm
• Daniel J. Bernstein
• Hash function
• Public-key cryptography

Model Checking Multiagent Systems MAS for Security Multiagent System-based Verification of Security and Privacy

Source URL: cgi.csc.liv.ac.uk

• Modeling and simulation
• Multi-agent systems
• Simulation
• Artificial intelligence
• Systems science
• Model checking
• Agent-based model
• Economic model
• Intelligent agent
• MAS

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA)

Source URL: cryptojedi.org

• Cryptography
• Public-key cryptography
• Post-quantum cryptography
• Smart cards
• Hash-based cryptography
• Digital signature
• Cryptographic hash function
• Java Card
• Hash function
• Security token
• Cryptographic primitive
• XMSS

Poster: A DDoS Peak Traffic Volume Prediction Method Based on Machine Learning Shuang Wei† , Yijing Ding† , Tongxin Li† , Shuaifu Dai‡ , Xinfeng Wu† and Xinhui Han†∗ † Peking University ‡ CNCERT/CC

Source URL: www.ieee-security.org

• Denial-of-service attacks
• Statistical inference
• Cyberwarfare
• Estimation theory
• Computing
• Denial-of-service attack
• Internet Relay Chat
• Domain name system
• Anycast
• Cross-validation
• Regression analysis
• Prediction

All the AES You Need on Cortex-M3 and M4 Peter Schwabe and Ko Stoffelen Radboud University, Digital Security Group, Nijmegen, The Netherlands ,

Source URL: ko.stoffelen.nl

• Cryptography
• Advanced Encryption Standard
• Data Encryption Standard
• AES implementations
• ARM architecture
• Block ciphers
• DEAL
• AES instruction set
• CRYPTON